void log_token(int,char *);